$\forall$$i$:$\mathbb{Z}$. ($i$)$\mathbb{Z}${-}det{-}fun $\in$ detach\_fun($\mid\mathbb{Z}${-}rng$\mid$;($i$)$\mathbb{Z}${-}rng)